Elementary transition systems

This article does not have an abstract

A logical characterization of well branching event structures

AbstractWe develop a tense logic for reasoning about the occurrences of events in a subclass of prime event structures called well branching event structures. The well branching property ensures that two events being in conflict can always be traced back—via the causality relation—to two events being in minimal conflict. Two events are in minimal conflict if they are in conflict and their “unified” past is conflict-free. Thus the minimal conflict relation captures the branching points of the computations supported by the event structure. Our logical language has explicit modalities for talking about causality, conflict, concurrency and minimal conflict. We define the semantics of this logic using well branching event structures as Kripke frames. Our main result is a sound and complete axiomatization of the valid formulas over the chosen class of frames

Introductions for beginners of observations

Proceedings - International Conference on Software Engineering2006302-311PCSE

Succinct discrete time approximations of distributed hybrid automata

10.1145/1755952.1755955HSCC'10 - Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control1-1

Communicating transaction processes: An MSC-based model of computation for reactive embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)3098789-81

Dynamic bayesian networks: A factored model of probabilistic dynamics

10.1007/978-3-642-33386-6_2Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7561 LNCS17-2

Modular discrete time approximations of distributed hybrid automata

10.1016/j.tcs.2011.12.050Theoretical Computer Science429292-304TCSC

Incremental signaling pathway modeling by data integration

10.1007/978-3-642-12683-3_18Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6044 LNBI281-29

A multi-mode real-time calculus

10.1109/RTSS.2008.47Proceedings - Real-Time Systems Symposium59-69PRSY

Probabilistic approximations of signaling pathway dynamics

10.1007/978-3-642-03845-7_17Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)5688 LNBI251-26